While computational technologies are transforming the professional practice of mathematics, as yet they have had little impact on school mathematics. This pioneering text develops a theorized analysis of why this is and what can be done to address it. It examines the particular case of symbolic calc[...]